首页> 外文OA文献 >A Verified Algebra for Read-Write Linked Data

【2h】

A Verified Algebra for Read-Write Linked Data

机译：用于读写关联数据的经过验证的代数

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ross Horne; Vladimiro Sassone;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A verified algebra for read-write Linked Data [J] . Ross Horne, Vladimiro Sassone Science of Computer Programming . 2014,第PTaA期

机译：经过验证的代写链接数据代数
2. Constructing Investment Open Data of Chinese Listed Companies Based on Read-Write Linked Data [J] . Hongqin Li, Jun Zhai International journal of electronic government research . 2017,第4期

机译：基于读写链接数据的中国上市公司投资开放数据构建
3. The read-write Linked Data Web (Review) [J] . Berners-Lee T., OHara K. Philosophical transactions of the Royal Society. Mathematical, physical, and engineering sciences . 2013,第1987期

机译：读写链接数据网（复习）
4. A Distributed Transaction Model for Read-Write Linked Data Applications [C] . Nandana Mihindukulasooriya, Raul Garcia-Castro, Asuncion Gomez-Perez International conference on mathematics of program construction . 2015

机译：读写链接数据应用程序的分布式事务模型
5. Equivalence verification of arithmetic datapaths using finite ring algebra [D] . Shekhar, Namrata 2008

机译：使用有限环代数的算术数据路径等价验证
6. Interpretation for scales of measurement linking with abstract algebra [O] . Jitsuki Sawamura, Shigeru Morishita, Jun Ishigooka 2014

机译：与抽象代数链接的量表的解释
7. A verified algebra for read-write linked data [O] . Horne Ross, Sassone Vladimiro 100

机译：经过验证的读写链接数据代数

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号